public record TopLevelPublicRecordBraceExists(<caret>) {}